Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1h
💫Effect Systems
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
🧪Compiler Testing
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Caffeinated Commits- Day 3
dev.to·30m·
Discuss: DEV
🎓Teaching Compilers
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
⚡Partial Evaluation
Using AI Agents for Reranking in RavenDB
ayende.com·5h
🔍Query Engines
The pirate-based logic of Rust shared references
ais523.me.uk·23h·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
Show HN: Semlib – Semantic Data Processing
github.com·3h·
Discuss: Hacker News
🔍ML Language
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·13h
🔍ML Language
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🎯Finite Automata
Planarizing matchings
11011110.github.io·22h
🎨Graph Coloring
riversongs - ChileComparte
chilecomparte.cl·6h
📁File Systems
🏠 Haveto | A Blockchain That Finally Feels Like Home for Developers
haveto.com·6h·
Discuss: DEV
📦Monorepos
[NodeBook] Understanding Buffers in Node.js - Why they exist, where they live in memory, and how they handle binary data
thenodebook.com·10h·
Discuss: r/node
🔢Binary Formats
Custom for designing, off-the-shelf for shipping
ntietz.com·17h
💬Error Message Design
How I Learned to Be an Effective Boost Review Manager — My Tips & Templates
becheler.github.io·4h·
Discuss: r/cpp
💬Error Message Design
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers